node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
link(1,5) :- #0.763.
link(5,1) :- #0.382.
link(1,18) :- #0.398.
link(18,1) :- #0.842.
link(1,21) :- #0.746.
link(21,1) :- #0.225.
link(1,27) :- #0.131.
link(27,1) :- #0.952.
link(1,28) :- #0.244.
link(28,1) :- #0.565.
link(1,29) :- #0.882.
link(29,1) :- #0.511.
link(1,42) :- #0.822.
link(42,1) :- #0.302.
link(1,51) :- #0.537.
link(51,1) :- #0.849.
link(1,81) :- #0.151.
link(81,1) :- #0.716.
link(1,84) :- #0.985.
link(84,1) :- #0.273.
link(1,89) :- #0.429.
link(89,1) :- #0.5.
link(1,92) :- #0.843.
link(92,1) :- #0.268.
link(1,101) :- #0.964.
link(101,1) :- #0.532.
link(1,108) :- #0.127.
link(108,1) :- #0.873.
link(1,131) :- #0.111.
link(131,1) :- #0.051.
link(1,135) :- #0.037.
link(135,1) :- #0.02.
link(1,140) :- #0.894.
link(140,1) :- #0.711.
link(1,145) :- #0.567.
link(145,1) :- #0.961.
link(2,12) :- #0.92.
link(12,2) :- #0.236.
link(2,15) :- #0.906.
link(15,2) :- #0.522.
link(2,16) :- #0.113.
link(16,2) :- #0.846.
link(2,19) :- #0.037.
link(19,2) :- #0.955.
link(2,20) :- #0.602.
link(20,2) :- #0.75.
link(2,22) :- #0.767.
link(22,2) :- #0.854.
link(2,32) :- #0.594.
link(32,2) :- #0.921.
link(2,33) :- #0.601.
link(33,2) :- #0.552.
link(2,53) :- #0.445.
link(53,2) :- #0.354.
link(2,54) :- #0.817.
link(54,2) :- #0.052.
link(2,58) :- #0.636.
link(58,2) :- #0.382.
link(2,64) :- #0.498.
link(64,2) :- #0.871.
link(2,77) :- #0.018.
link(77,2) :- #0.549.
link(2,109) :- #0.552.
link(109,2) :- #0.677.
link(2,111) :- #0.186.
link(111,2) :- #0.483.
link(2,114) :- #0.406.
link(114,2) :- #0.849.
link(2,115) :- #0.136.
link(115,2) :- #0.27.
link(2,122) :- #0.582.
link(122,2) :- #0.561.
link(3,8) :- #0.482.
link(8,3) :- #0.624.
link(3,11) :- #0.875.
link(11,3) :- #0.812.
link(3,37) :- #0.386.
link(37,3) :- #0.606.
link(3,42) :- #0.175.
link(42,3) :- #0.512.
link(3,67) :- #0.4.
link(67,3) :- #0.704.
link(3,68) :- #0.627.
link(68,3) :- #0.882.
link(3,77) :- #0.457.
link(77,3) :- #0.39.
link(3,92) :- #0.017.
link(92,3) :- #0.684.
link(3,95) :- #0.088.
link(95,3) :- #0.073.
link(3,98) :- #0.063.
link(98,3) :- #0.212.
link(3,99) :- #0.353.
link(99,3) :- #0.086.
link(3,104) :- #0.026.
link(104,3) :- #0.239.
link(3,107) :- #0.164.
link(107,3) :- #0.55.
link(3,115) :- #0.581.
link(115,3) :- #0.849.
link(3,116) :- #0.256.
link(116,3) :- #0.763.
link(3,122) :- #0.517.
link(122,3) :- #0.942.
link(3,126) :- #0.753.
link(126,3) :- #0.099.
link(3,136) :- #0.248.
link(136,3) :- #0.428.
link(4,25) :- #0.48.
link(25,4) :- #0.147.
link(4,31) :- #0.67.
link(31,4) :- #0.302.
link(4,34) :- #0.147.
link(34,4) :- #0.18.
link(4,38) :- #0.96.
link(38,4) :- #0.765.
link(4,41) :- #0.446.
link(41,4) :- #0.613.
link(4,57) :- #0.031.
link(57,4) :- #0.945.
link(4,79) :- #0.699.
link(79,4) :- #0.514.
link(4,80) :- #0.473.
link(80,4) :- #0.874.
link(4,91) :- #0.107.
link(91,4) :- #0.766.
link(4,101) :- #0.741.
link(101,4) :- #0.948.
link(4,127) :- #0.852.
link(127,4) :- #0.947.
link(5,12) :- #0.586.
link(12,5) :- #0.878.
link(5,34) :- #0.53.
link(34,5) :- #0.725.
link(5,49) :- #0.285.
link(49,5) :- #0.983.
link(5,50) :- #0.87.
link(50,5) :- #0.416.
link(5,62) :- #0.323.
link(62,5) :- #0.791.
link(5,66) :- #0.671.
link(66,5) :- #0.495.
link(5,72) :- #0.812.
link(72,5) :- #0.257.
link(5,77) :- #0.939.
link(77,5) :- #0.52.
link(5,90) :- #0.175.
link(90,5) :- #0.158.
link(5,107) :- #0.481.
link(107,5) :- #0.919.
link(5,108) :- #0.514.
link(108,5) :- #0.375.
link(5,113) :- #0.761.
link(113,5) :- #0.066.
link(5,136) :- #0.324.
link(136,5) :- #0.107.
link(6,16) :- #0.58.
link(16,6) :- #0.503.
link(6,18) :- #0.112.
link(18,6) :- #0.479.
link(6,21) :- #0.707.
link(21,6) :- #0.04.
link(6,25) :- #0.326.
link(25,6) :- #0.447.
link(6,45) :- #0.703.
link(45,6) :- #0.058.
link(6,58) :- #0.218.
link(58,6) :- #0.22.
link(6,64) :- #0.844.
link(64,6) :- #0.864.
link(6,99) :- #0.881.
link(99,6) :- #0.072.
link(6,107) :- #0.001.
link(107,6) :- #0.498.
link(6,115) :- #0.27.
link(115,6) :- #0.405.
link(7,8) :- #0.908.
link(8,7) :- #0.471.
link(7,19) :- #0.186.
link(19,7) :- #0.067.
link(7,30) :- #0.058.
link(30,7) :- #0.338.
link(7,49) :- #0.724.
link(49,7) :- #0.407.
link(7,51) :- #0.376.
link(51,7) :- #0.674.
link(7,52) :- #0.846.
link(52,7) :- #0.611.
link(7,72) :- #0.196.
link(72,7) :- #0.375.
link(7,75) :- #0.448.
link(75,7) :- #0.807.
link(7,87) :- #0.318.
link(87,7) :- #0.551.
link(7,105) :- #0.493.
link(105,7) :- #0.962.
link(7,111) :- #0.213.
link(111,7) :- #0.825.
link(7,120) :- #0.56.
link(120,7) :- #0.033.
link(7,142) :- #0.653.
link(142,7) :- #0.071.
link(8,17) :- #0.034.
link(17,8) :- #0.58.
link(8,18) :- #0.241.
link(18,8) :- #0.688.
link(8,42) :- #0.523.
link(42,8) :- #0.18.
link(8,72) :- #0.74.
link(72,8) :- #0.011.
link(8,73) :- #0.968.
link(73,8) :- #0.684.
link(8,90) :- #0.773.
link(90,8) :- #0.45.
link(8,122) :- #0.92.
link(122,8) :- #0.599.
link(8,130) :- #0.999.
link(130,8) :- #0.257.
link(8,135) :- #0.281.
link(135,8) :- #0.381.
link(8,145) :- #0.269.
link(145,8) :- #0.301.
link(9,17) :- #0.214.
link(17,9) :- #0.292.
link(9,19) :- #0.376.
link(19,9) :- #0.966.
link(9,44) :- #0.247.
link(44,9) :- #0.806.
link(9,48) :- #0.96.
link(48,9) :- #0.957.
link(9,59) :- #0.735.
link(59,9) :- #0.612.
link(9,62) :- #0.051.
link(62,9) :- #0.713.
link(9,79) :- #0.872.
link(79,9) :- #0.616.
link(9,82) :- #0.579.
link(82,9) :- #0.8.
link(9,96) :- #0.293.
link(96,9) :- #0.31.
link(9,140) :- #0.718.
link(140,9) :- #0.637.
link(9,141) :- #0.822.
link(141,9) :- #0.549.
link(10,14) :- #0.818.
link(14,10) :- #0.503.
link(10,17) :- #0.122.
link(17,10) :- #0.472.
link(10,27) :- #0.132.
link(27,10) :- #0.852.
link(10,32) :- #0.421.
link(32,10) :- #0.715.
link(10,38) :- #0.233.
link(38,10) :- #0.533.
link(10,40) :- #0.274.
link(40,10) :- #0.487.
link(10,51) :- #0.417.
link(51,10) :- #0.822.
link(10,53) :- #0.695.
link(53,10) :- #0.72.
link(10,82) :- #0.166.
link(82,10) :- #0.903.
link(10,105) :- #0.229.
link(105,10) :- #0.779.
link(10,132) :- #0.767.
link(132,10) :- #0.217.
link(10,140) :- #0.532.
link(140,10) :- #0.753.
link(11,13) :- #0.01.
link(13,11) :- #0.359.
link(11,18) :- #0.227.
link(18,11) :- #0.675.
link(11,20) :- #0.78.
link(20,11) :- #0.769.
link(11,24) :- #0.694.
link(24,11) :- #0.256.
link(11,37) :- #0.822.
link(37,11) :- #0.723.
link(11,63) :- #0.743.
link(63,11) :- #0.432.
link(11,89) :- #0.649.
link(89,11) :- #0.01.
link(11,90) :- #0.834.
link(90,11) :- #0.872.
link(11,97) :- #0.819.
link(97,11) :- #0.464.
link(11,99) :- #0.618.
link(99,11) :- #0.17.
link(11,104) :- #0.83.
link(104,11) :- #0.366.
link(11,107) :- #0.675.
link(107,11) :- #0.952.
link(11,138) :- #0.806.
link(138,11) :- #0.717.
link(12,26) :- #0.586.
link(26,12) :- #0.15.
link(12,31) :- #0.592.
link(31,12) :- #0.978.
link(12,32) :- #0.2.
link(32,12) :- #0.013.
link(12,51) :- #0.938.
link(51,12) :- #0.837.
link(12,60) :- #0.304.
link(60,12) :- #0.633.
link(12,61) :- #0.107.
link(61,12) :- #0.798.
link(12,80) :- #0.044.
link(80,12) :- #0.187.
link(12,85) :- #0.517.
link(85,12) :- #0.307.
link(12,107) :- #0.57.
link(107,12) :- #0.301.
link(12,121) :- #0.282.
link(121,12) :- #0.952.
link(12,123) :- #0.263.
link(123,12) :- #0.899.
link(13,17) :- #0.701.
link(17,13) :- #0.253.
link(13,21) :- #0.09.
link(21,13) :- #0.1.
link(13,35) :- #0.634.
link(35,13) :- #0.101.
link(13,37) :- #0.335.
link(37,13) :- #0.704.
link(13,55) :- #0.136.
link(55,13) :- #0.093.
link(13,64) :- #0.015.
link(64,13) :- #0.152.
link(13,77) :- #0.873.
link(77,13) :- #0.569.
link(13,78) :- #0.53.
link(78,13) :- #0.457.
link(13,110) :- #0.479.
link(110,13) :- #0.868.
link(13,126) :- #0.491.
link(126,13) :- #0.328.
link(13,127) :- #0.72.
link(127,13) :- #0.251.
link(13,145) :- #0.767.
link(145,13) :- #0.786.
link(14,15) :- #0.73.
link(15,14) :- #0.617.
link(14,38) :- #0.623.
link(38,14) :- #0.941.
link(14,44) :- #0.734.
link(44,14) :- #0.964.
link(14,53) :- #0.697.
link(53,14) :- #0.118.
link(14,59) :- #0.089.
link(59,14) :- #0.762.
link(14,79) :- #0.588.
link(79,14) :- #0.992.
link(14,91) :- #0.532.
link(91,14) :- #0.709.
link(14,96) :- #0.019.
link(96,14) :- #0.359.
link(14,103) :- #0.791.
link(103,14) :- #0.836.
link(14,106) :- #0.109.
link(106,14) :- #0.379.
link(14,114) :- #0.888.
link(114,14) :- #0.464.
link(14,115) :- #0.991.
link(115,14) :- #0.693.
link(15,34) :- #0.975.
link(34,15) :- #0.038.
link(15,52) :- #0.131.
link(52,15) :- #0.466.
link(15,72) :- #0.605.
link(72,15) :- #0.59.
link(15,92) :- #0.661.
link(92,15) :- #0.87.
link(15,129) :- #0.22.
link(129,15) :- #0.058.
link(15,130) :- #0.366.
link(130,15) :- #0.476.
link(15,140) :- #0.953.
link(140,15) :- #0.569.
link(16,17) :- #0.618.
link(17,16) :- #0.765.
link(16,29) :- #0.786.
link(29,16) :- #0.318.
link(16,56) :- #0.271.
link(56,16) :- #0.22.
link(16,57) :- #0.724.
link(57,16) :- #0.846.
link(16,64) :- #0.95.
link(64,16) :- #0.991.
link(16,68) :- #0.968.
link(68,16) :- #0.277.
link(16,69) :- #0.184.
link(69,16) :- #0.806.
link(16,79) :- #0.629.
link(79,16) :- #0.762.
link(16,96) :- #0.65.
link(96,16) :- #0.783.
link(16,104) :- #0.214.
link(104,16) :- #0.737.
link(16,107) :- #0.577.
link(107,16) :- #0.06.
link(16,117) :- #0.847.
link(117,16) :- #0.142.
link(16,128) :- #0.954.
link(128,16) :- #0.465.
link(16,141) :- #0.839.
link(141,16) :- #0.156.
link(17,31) :- #0.789.
link(31,17) :- #0.61.
link(17,34) :- #0.039.
link(34,17) :- #0.927.
link(17,40) :- #0.934.
link(40,17) :- #0.301.
link(17,46) :- #0.197.
link(46,17) :- #0.783.
link(17,65) :- #0.233.
link(65,17) :- #0.735.
link(17,83) :- #0.998.
link(83,17) :- #0.327.
link(17,102) :- #0.212.
link(102,17) :- #0.666.
link(17,120) :- #0.193.
link(120,17) :- #0.126.
link(17,126) :- #0.725.
link(126,17) :- #0.34.
link(18,23) :- #0.467.
link(23,18) :- #0.41.
link(18,24) :- #0.862.
link(24,18) :- #0.065.
link(18,51) :- #0.859.
link(51,18) :- #0.578.
link(18,68) :- #0.549.
link(68,18) :- #0.653.
link(18,73) :- #0.299.
link(73,18) :- #0.656.
link(18,75) :- #0.372.
link(75,18) :- #0.688.
link(18,77) :- #0.525.
link(77,18) :- #0.312.
link(18,93) :- #0.848.
link(93,18) :- #0.548.
link(18,95) :- #0.3.
link(95,18) :- #0.012.
link(18,105) :- #0.069.
link(105,18) :- #0.87.
link(18,126) :- #0.798.
link(126,18) :- #0.446.
link(18,128) :- #0.187.
link(128,18) :- #0.714.
link(18,136) :- #0.585.
link(136,18) :- #0.184.
link(18,145) :- #0.539.
link(145,18) :- #0.025.
link(19,21) :- #0.171.
link(21,19) :- #0.274.
link(19,25) :- #0.446.
link(25,19) :- #0.229.
link(19,26) :- #0.221.
link(26,19) :- #0.441.
link(19,31) :- #0.403.
link(31,19) :- #0.391.
link(19,47) :- #0.579.
link(47,19) :- #0.88.
link(19,53) :- #0.749.
link(53,19) :- #0.513.
link(19,58) :- #0.253.
link(58,19) :- #0.983.
link(19,66) :- #0.263.
link(66,19) :- #0.163.
link(19,80) :- #0.628.
link(80,19) :- #0.769.
link(19,81) :- #0.769.
link(81,19) :- #0.01.
link(19,84) :- #0.955.
link(84,19) :- #0.026.
link(19,120) :- #0.748.
link(120,19) :- #0.431.
link(19,128) :- #0.56.
link(128,19) :- #0.228.
link(19,137) :- #0.619.
link(137,19) :- #0.424.
link(20,30) :- #0.289.
link(30,20) :- #0.099.
link(20,46) :- #0.398.
link(46,20) :- #0.651.
link(20,51) :- #0.214.
link(51,20) :- #0.028.
link(20,68) :- #0.466.
link(68,20) :- #0.808.
link(20,73) :- #0.118.
link(73,20) :- #0.702.
link(20,85) :- #0.521.
link(85,20) :- #0.264.
link(20,86) :- #0.394.
link(86,20) :- #0.726.
link(20,90) :- #0.199.
link(90,20) :- #0.299.
link(20,91) :- #0.645.
link(91,20) :- #0.396.
link(20,108) :- #0.271.
link(108,20) :- #0.462.
link(20,115) :- #0.074.
link(115,20) :- #0.25.
link(20,117) :- #0.721.
link(117,20) :- #0.84.
link(20,120) :- #0.973.
link(120,20) :- #0.578.
link(20,122) :- #0.945.
link(122,20) :- #0.037.
link(20,130) :- #0.836.
link(130,20) :- #0.705.
link(20,138) :- #0.942.
link(138,20) :- #0.815.
link(20,142) :- #0.382.
link(142,20) :- #0.723.
link(20,143) :- #0.879.
link(143,20) :- #0.72.
link(21,33) :- #0.754.
link(33,21) :- #0.294.
link(21,40) :- #0.095.
link(40,21) :- #0.103.
link(21,41) :- #0.143.
link(41,21) :- #0.599.
link(21,55) :- #0.409.
link(55,21) :- #0.393.
link(21,87) :- #0.718.
link(87,21) :- #0.076.
link(21,91) :- #0.823.
link(91,21) :- #0.698.
link(22,27) :- #0.271.
link(27,22) :- #0.03.
link(22,28) :- #0.063.
link(28,22) :- #0.095.
link(22,29) :- #0.847.
link(29,22) :- #0.8.
link(22,32) :- #0.345.
link(32,22) :- #0.722.
link(22,40) :- #0.57.
link(40,22) :- #0.109.
link(22,53) :- #0.513.
link(53,22) :- #0.786.
link(22,62) :- #0.193.
link(62,22) :- #0.447.
link(22,68) :- #0.135.
link(68,22) :- #0.335.
link(22,78) :- #0.766.
link(78,22) :- #0.373.
link(22,88) :- #0.879.
link(88,22) :- #0.446.
link(22,94) :- #0.434.
link(94,22) :- #0.194.
link(22,103) :- #0.739.
link(103,22) :- #0.775.
link(22,124) :- #0.294.
link(124,22) :- #0.334.
link(22,142) :- #0.617.
link(142,22) :- #0.156.
link(22,145) :- #0.621.
link(145,22) :- #0.455.
link(23,41) :- #0.769.
link(41,23) :- #0.54.
link(23,62) :- #0.526.
link(62,23) :- #0.954.
link(23,72) :- #0.602.
link(72,23) :- #0.523.
link(23,79) :- #0.319.
link(79,23) :- #0.316.
link(23,88) :- #0.647.
link(88,23) :- #0.486.
link(23,90) :- #0.833.
link(90,23) :- #0.077.
link(23,104) :- #0.988.
link(104,23) :- #0.922.
link(23,113) :- #0.713.
link(113,23) :- #0.175.
link(23,129) :- #0.365.
link(129,23) :- #0.459.
link(23,136) :- #0.916.
link(136,23) :- #0.603.
link(24,28) :- #0.094.
link(28,24) :- #0.797.
link(24,31) :- #0.291.
link(31,24) :- #0.632.
link(24,52) :- #0.408.
link(52,24) :- #0.915.
link(24,62) :- #0.222.
link(62,24) :- #0.159.
link(24,65) :- #0.871.
link(65,24) :- #0.473.
link(24,71) :- #0.784.
link(71,24) :- #0.701.
link(24,99) :- #0.967.
link(99,24) :- #0.881.
link(24,108) :- #0.161.
link(108,24) :- #0.374.
link(24,116) :- #0.473.
link(116,24) :- #0.719.
link(24,122) :- #0.902.
link(122,24) :- #0.264.
link(24,123) :- #0.761.
link(123,24) :- #0.513.
link(24,125) :- #0.008.
link(125,24) :- #0.392.
link(24,140) :- #0.065.
link(140,24) :- #0.603.
link(25,41) :- #0.245.
link(41,25) :- #0.233.
link(25,45) :- #0.107.
link(45,25) :- #0.454.
link(25,78) :- #0.078.
link(78,25) :- #0.157.
link(25,90) :- #0.305.
link(90,25) :- #0.009.
link(25,92) :- #0.506.
link(92,25) :- #0.298.
link(25,112) :- #0.35.
link(112,25) :- #0.187.
link(25,123) :- #0.767.
link(123,25) :- #0.12.
link(25,125) :- #0.838.
link(125,25) :- #0.587.
link(25,128) :- #0.677.
link(128,25) :- #0.288.
link(25,135) :- #0.423.
link(135,25) :- #0.561.
link(25,144) :- #0.561.
link(144,25) :- #0.462.
link(26,30) :- #0.763.
link(30,26) :- #0.75.
link(26,39) :- #0.534.
link(39,26) :- #0.099.
link(26,82) :- #0.07.
link(82,26) :- #0.738.
link(26,91) :- #0.916.
link(91,26) :- #0.607.
link(26,98) :- #0.26.
link(98,26) :- #0.825.
link(26,103) :- #0.118.
link(103,26) :- #0.871.
link(26,113) :- #0.244.
link(113,26) :- #0.857.
link(26,122) :- #0.248.
link(122,26) :- #0.803.
link(26,123) :- #0.471.
link(123,26) :- #0.381.
link(26,139) :- #0.253.
link(139,26) :- #0.612.
link(27,28) :- #0.287.
link(28,27) :- #0.816.
link(27,29) :- #0.897.
link(29,27) :- #0.816.
link(27,32) :- #0.298.
link(32,27) :- #0.262.
link(27,35) :- #0.424.
link(35,27) :- #0.704.
link(27,44) :- #0.756.
link(44,27) :- #0.731.
link(27,48) :- #0.043.
link(48,27) :- #0.315.
link(27,63) :- #0.985.
link(63,27) :- #0.902.
link(27,71) :- #0.498.
link(71,27) :- #0.859.
link(27,72) :- #0.186.
link(72,27) :- #0.754.
link(27,87) :- #0.023.
link(87,27) :- #0.36.
link(27,89) :- #0.234.
link(89,27) :- #0.011.
link(27,91) :- #0.803.
link(91,27) :- #0.859.
link(27,112) :- #0.661.
link(112,27) :- #0.178.
link(27,117) :- #0.415.
link(117,27) :- #0.542.
link(27,130) :- #0.118.
link(130,27) :- #0.847.
link(27,134) :- #0.112.
link(134,27) :- #0.112.
link(27,145) :- #0.774.
link(145,27) :- #0.928.
link(28,48) :- #0.529.
link(48,28) :- #0.656.
link(28,53) :- #0.258.
link(53,28) :- #0.883.
link(28,60) :- #0.9.
link(60,28) :- #0.405.
link(28,64) :- #0.471.
link(64,28) :- #0.859.
link(28,66) :- #0.668.
link(66,28) :- #0.539.
link(28,71) :- #0.562.
link(71,28) :- #0.845.
link(28,85) :- #0.075.
link(85,28) :- #0.468.
link(28,86) :- #0.306.
link(86,28) :- #0.508.
link(28,88) :- #0.65.
link(88,28) :- #0.576.
link(28,116) :- #0.306.
link(116,28) :- #0.754.
link(28,119) :- #0.042.
link(119,28) :- #0.9.
link(29,31) :- #0.822.
link(31,29) :- #0.328.
link(29,34) :- #0.573.
link(34,29) :- #0.698.
link(29,48) :- #0.529.
link(48,29) :- #0.848.
link(29,52) :- #0.58.
link(52,29) :- #0.784.
link(29,83) :- #0.16.
link(83,29) :- #0.733.
link(29,110) :- #0.752.
link(110,29) :- #0.122.
link(29,126) :- #0.48.
link(126,29) :- #0.97.
link(29,134) :- #0.508.
link(134,29) :- #0.833.
link(29,136) :- #0.47.
link(136,29) :- #0.704.
link(29,141) :- #0.082.
link(141,29) :- #0.971.
link(30,45) :- #0.349.
link(45,30) :- #0.32.
link(30,52) :- #0.523.
link(52,30) :- #0.22.
link(30,54) :- #0.416.
link(54,30) :- #0.097.
link(30,55) :- #0.833.
link(55,30) :- #0.915.
link(30,56) :- #0.631.
link(56,30) :- #0.225.
link(30,61) :- #0.927.
link(61,30) :- #0.371.
link(30,67) :- #0.841.
link(67,30) :- #0.268.
link(30,75) :- #0.006.
link(75,30) :- #0.386.
link(30,87) :- #0.241.
link(87,30) :- #0.977.
link(30,104) :- #0.157.
link(104,30) :- #0.829.
link(30,105) :- #0.675.
link(105,30) :- #0.058.
link(30,117) :- #0.945.
link(117,30) :- #0.534.
link(30,119) :- #0.939.
link(119,30) :- #0.604.
link(30,127) :- #0.186.
link(127,30) :- #0.994.
link(30,130) :- #0.302.
link(130,30) :- #0.762.
link(30,145) :- #0.868.
link(145,30) :- #0.024.
link(31,54) :- #0.72.
link(54,31) :- #0.873.
link(31,59) :- #0.896.
link(59,31) :- #0.955.
link(31,64) :- #0.872.
link(64,31) :- #0.166.
link(31,68) :- #0.321.
link(68,31) :- #0.98.
link(31,86) :- #0.563.
link(86,31) :- #0.739.
link(31,103) :- #0.441.
link(103,31) :- #0.878.
link(31,104) :- #0.533.
link(104,31) :- #0.377.
link(31,106) :- #0.338.
link(106,31) :- #0.862.
link(31,107) :- #0.334.
link(107,31) :- #0.917.
link(31,108) :- #0.509.
link(108,31) :- #0.375.
link(31,115) :- #0.12.
link(115,31) :- #0.728.
link(31,125) :- #0.286.
link(125,31) :- #0.822.
link(31,128) :- #0.71.
link(128,31) :- #0.258.
link(31,129) :- #0.109.
link(129,31) :- #0.114.
link(31,130) :- #0.649.
link(130,31) :- #0.69.
link(31,131) :- #0.924.
link(131,31) :- #0.155.
link(31,141) :- #0.697.
link(141,31) :- #0.119.
link(31,144) :- #0.187.
link(144,31) :- #0.433.
link(32,35) :- #0.835.
link(35,32) :- #0.395.
link(32,57) :- #0.221.
link(57,32) :- #0.777.
link(32,73) :- #0.686.
link(73,32) :- #0.981.
link(32,83) :- #0.95.
link(83,32) :- #0.124.
link(32,85) :- #0.966.
link(85,32) :- #0.054.
link(32,91) :- #0.859.
link(91,32) :- #0.246.
link(32,95) :- #0.026.
link(95,32) :- #0.155.
link(32,101) :- #0.226.
link(101,32) :- #0.631.
link(32,110) :- #0.677.
link(110,32) :- #0.295.
link(32,116) :- #0.158.
link(116,32) :- #0.799.
link(32,117) :- #0.775.
link(117,32) :- #0.543.
link(32,119) :- #0.598.
link(119,32) :- #0.851.
link(32,137) :- #0.556.
link(137,32) :- #0.196.
link(33,50) :- #0.351.
link(50,33) :- #0.978.
link(33,52) :- #0.629.
link(52,33) :- #0.04.
link(33,54) :- #0.311.
link(54,33) :- #0.39.
link(33,76) :- #0.071.
link(76,33) :- #0.592.
link(33,87) :- #0.789.
link(87,33) :- #0.925.
link(33,100) :- #0.024.
link(100,33) :- #0.394.
link(33,115) :- #0.158.
link(115,33) :- #0.598.
link(33,117) :- #0.988.
link(117,33) :- #0.026.
link(33,125) :- #0.615.
link(125,33) :- #0.127.
link(33,131) :- #0.068.
link(131,33) :- #0.995.
link(33,135) :- #0.646.
link(135,33) :- #0.978.
link(33,138) :- #0.326.
link(138,33) :- #0.609.
link(33,140) :- #0.948.
link(140,33) :- #0.44.
link(34,41) :- #0.26.
link(41,34) :- #0.362.
link(34,60) :- #0.74.
link(60,34) :- #0.58.
link(34,64) :- #0.893.
link(64,34) :- #0.906.
link(34,66) :- #0.377.
link(66,34) :- #0.488.
link(34,90) :- #0.929.
link(90,34) :- #0.822.
link(34,108) :- #0.41.
link(108,34) :- #0.793.
link(34,126) :- #0.622.
link(126,34) :- #0.877.
link(34,134) :- #0.865.
link(134,34) :- #0.13.
link(34,139) :- #0.931.
link(139,34) :- #0.225.
link(34,142) :- #0.018.
link(142,34) :- #0.575.
link(35,40) :- #0.252.
link(40,35) :- #0.892.
link(35,81) :- #0.767.
link(81,35) :- #0.553.
link(35,100) :- #0.44.
link(100,35) :- #0.341.
link(35,103) :- #0.278.
link(103,35) :- #0.509.
link(35,106) :- #0.384.
link(106,35) :- #0.75.
link(35,116) :- #0.742.
link(116,35) :- #0.665.
link(35,128) :- #0.596.
link(128,35) :- #0.976.
link(35,134) :- #0.215.
link(134,35) :- #0.238.
link(35,139) :- #0.557.
link(139,35) :- #0.7.
link(36,52) :- #0.78.
link(52,36) :- #0.925.
link(36,53) :- #0.355.
link(53,36) :- #0.724.
link(36,56) :- #0.004.
link(56,36) :- #0.783.
link(36,74) :- #0.824.
link(74,36) :- #0.47.
link(36,77) :- #0.452.
link(77,36) :- #0.401.
link(36,90) :- #0.147.
link(90,36) :- #0.732.
link(36,102) :- #0.092.
link(102,36) :- #0.942.
link(36,112) :- #0.222.
link(112,36) :- #0.388.
link(36,125) :- #0.726.
link(125,36) :- #0.885.
link(36,131) :- #0.846.
link(131,36) :- #0.775.
link(36,140) :- #0.293.
link(140,36) :- #0.503.
link(37,38) :- #0.647.
link(38,37) :- #0.791.
link(37,41) :- #0.413.
link(41,37) :- #0.122.
link(37,50) :- #0.103.
link(50,37) :- #0.474.
link(37,57) :- #0.828.
link(57,37) :- #0.245.
link(37,69) :- #0.915.
link(69,37) :- #0.029.
link(37,70) :- #0.35.
link(70,37) :- #0.766.
link(37,74) :- #0.341.
link(74,37) :- #0.485.
link(37,85) :- #0.458.
link(85,37) :- #0.809.
link(37,91) :- #0.21.
link(91,37) :- #0.569.
link(37,97) :- #0.938.
link(97,37) :- #0.527.
link(37,117) :- #0.541.
link(117,37) :- #0.053.
link(37,123) :- #0.885.
link(123,37) :- #0.325.
link(38,39) :- #0.673.
link(39,38) :- #0.865.
link(38,40) :- #0.549.
link(40,38) :- #0.049.
link(38,56) :- #0.513.
link(56,38) :- #0.419.
link(38,62) :- #0.602.
link(62,38) :- #0.341.
link(38,65) :- #0.652.
link(65,38) :- #0.919.
link(38,92) :- #0.606.
link(92,38) :- #0.478.
link(38,102) :- #0.511.
link(102,38) :- #0.165.
link(38,104) :- #0.247.
link(104,38) :- #0.98.
link(38,130) :- #0.982.
link(130,38) :- #0.693.
link(38,132) :- #0.854.
link(132,38) :- #0.342.
link(39,63) :- #0.89.
link(63,39) :- #0.761.
link(39,84) :- #0.296.
link(84,39) :- #0.456.
link(39,85) :- #0.753.
link(85,39) :- #0.836.
link(39,89) :- #0.465.
link(89,39) :- #0.308.
link(39,93) :- #0.018.
link(93,39) :- #0.23.
link(39,96) :- #0.616.
link(96,39) :- #0.048.
link(39,101) :- #0.176.
link(101,39) :- #0.502.
link(39,104) :- #0.112.
link(104,39) :- #0.647.
link(39,111) :- #0.785.
link(111,39) :- #0.076.
link(39,114) :- #0.021.
link(114,39) :- #0.372.
link(39,125) :- #0.553.
link(125,39) :- #0.404.
link(39,130) :- #0.111.
link(130,39) :- #0.715.
link(40,47) :- #0.887.
link(47,40) :- #0.365.
link(40,49) :- #0.452.
link(49,40) :- #0.334.
link(40,67) :- #0.84.
link(67,40) :- #0.599.
link(40,78) :- #0.034.
link(78,40) :- #0.584.
link(40,105) :- #0.502.
link(105,40) :- #0.105.
link(40,118) :- #0.833.
link(118,40) :- #0.465.
link(40,125) :- #0.993.
link(125,40) :- #0.968.
link(40,130) :- #0.942.
link(130,40) :- #0.035.
link(40,140) :- #0.114.
link(140,40) :- #0.899.
link(41,46) :- #0.96.
link(46,41) :- #0.402.
link(41,69) :- #0.074.
link(69,41) :- #0.736.
link(41,79) :- #0.548.
link(79,41) :- #0.465.
link(41,82) :- #0.026.
link(82,41) :- #0.167.
link(41,83) :- #0.01.
link(83,41) :- #0.206.
link(41,86) :- #0.105.
link(86,41) :- #0.909.
link(41,107) :- #0.144.
link(107,41) :- #0.923.
link(41,121) :- #0.511.
link(121,41) :- #0.109.
link(41,136) :- #0.387.
link(136,41) :- #0.821.
link(41,140) :- #0.793.
link(140,41) :- #0.991.
link(41,145) :- #0.116.
link(145,41) :- #0.404.
link(42,61) :- #0.663.
link(61,42) :- #0.974.
link(42,63) :- #0.654.
link(63,42) :- #0.435.
link(42,72) :- #0.513.
link(72,42) :- #0.879.
link(42,73) :- #0.203.
link(73,42) :- #0.73.
link(42,82) :- #0.758.
link(82,42) :- #0.137.
link(42,94) :- #0.244.
link(94,42) :- #0.725.
link(42,97) :- #0.44.
link(97,42) :- #0.41.
link(42,101) :- #0.456.
link(101,42) :- #0.846.
link(42,108) :- #0.318.
link(108,42) :- #0.94.
link(42,120) :- #0.499.
link(120,42) :- #0.965.
link(42,121) :- #0.268.
link(121,42) :- #0.655.
link(42,122) :- #0.004.
link(122,42) :- #0.108.
link(42,125) :- #0.158.
link(125,42) :- #0.261.
link(42,134) :- #0.321.
link(134,42) :- #0.761.
link(42,136) :- #0.761.
link(136,42) :- #0.652.
link(43,58) :- #0.339.
link(58,43) :- #0.198.
link(43,63) :- #0.386.
link(63,43) :- #0.278.
link(43,87) :- #0.409.
link(87,43) :- #0.731.
link(43,92) :- #0.286.
link(92,43) :- #0.966.
link(43,98) :- #0.805.
link(98,43) :- #0.635.
link(43,105) :- #0.712.
link(105,43) :- #0.971.
link(43,107) :- #0.597.
link(107,43) :- #0.808.
link(43,110) :- #0.536.
link(110,43) :- #0.155.
link(43,116) :- #0.38.
link(116,43) :- #0.452.
link(43,117) :- #0.458.
link(117,43) :- #0.477.
link(44,49) :- #0.295.
link(49,44) :- #0.959.
link(44,53) :- #0.914.
link(53,44) :- #0.929.
link(44,77) :- #0.643.
link(77,44) :- #0.49.
link(44,86) :- #0.317.
link(86,44) :- #0.543.
link(44,95) :- #0.418.
link(95,44) :- #0.026.
link(44,144) :- #0.413.
link(144,44) :- #0.574.
link(44,145) :- #0.012.
link(145,44) :- #0.98.
link(45,58) :- #0.292.
link(58,45) :- #0.957.
link(45,62) :- #0.455.
link(62,45) :- #0.073.
link(45,65) :- #0.379.
link(65,45) :- #0.985.
link(45,69) :- #0.978.
link(69,45) :- #0.459.
link(45,82) :- #0.19.
link(82,45) :- #0.043.
link(45,98) :- #0.556.
link(98,45) :- #0.114.
link(45,101) :- #0.242.
link(101,45) :- #0.484.
link(45,112) :- #0.057.
link(112,45) :- #0.895.
link(45,120) :- #0.763.
link(120,45) :- #0.977.
link(45,125) :- #0.568.
link(125,45) :- #0.318.
link(46,50) :- #0.16.
link(50,46) :- #0.441.
link(46,58) :- #0.616.
link(58,46) :- #0.819.
link(46,63) :- #0.834.
link(63,46) :- #0.968.
link(46,70) :- #0.007.
link(70,46) :- #0.855.
link(46,72) :- #0.538.
link(72,46) :- #0.613.
link(46,81) :- #0.577.
link(81,46) :- #0.647.
link(46,90) :- #0.753.
link(90,46) :- #0.104.
link(46,91) :- #0.82.
link(91,46) :- #0.319.
link(46,105) :- #0.53.
link(105,46) :- #0.019.
link(46,108) :- #0.215.
link(108,46) :- #0.874.
link(46,129) :- #0.146.
link(129,46) :- #0.943.
link(46,145) :- #0.639.
link(145,46) :- #0.307.
link(47,60) :- #0.992.
link(60,47) :- #0.113.
link(47,64) :- #0.931.
link(64,47) :- #0.759.
link(47,98) :- #0.172.
link(98,47) :- #0.826.
link(47,101) :- #0.925.
link(101,47) :- #0.052.
link(47,102) :- #0.807.
link(102,47) :- #0.027.
link(47,104) :- #0.933.
link(104,47) :- #0.184.
link(47,137) :- #0.477.
link(137,47) :- #0.189.
link(48,54) :- #0.069.
link(54,48) :- #0.232.
link(48,56) :- #0.152.
link(56,48) :- #0.602.
link(48,75) :- #0.204.
link(75,48) :- #0.87.
link(48,107) :- #0.585.
link(107,48) :- #0.107.
link(48,127) :- #0.002.
link(127,48) :- #0.942.
link(48,133) :- #0.075.
link(133,48) :- #0.039.
link(48,144) :- #0.005.
link(144,48) :- #0.77.
link(49,53) :- #0.746.
link(53,49) :- #0.691.
link(49,76) :- #0.36.
link(76,49) :- #0.609.
link(49,77) :- #0.685.
link(77,49) :- #0.007.
link(49,84) :- #0.447.
link(84,49) :- #0.489.
link(49,96) :- #0.143.
link(96,49) :- #0.958.
link(49,98) :- #0.562.
link(98,49) :- #0.067.
link(49,107) :- #0.39.
link(107,49) :- #0.204.
link(49,116) :- #0.308.
link(116,49) :- #0.832.
link(49,128) :- #0.93.
link(128,49) :- #0.252.
link(49,144) :- #0.423.
link(144,49) :- #0.336.
link(50,53) :- #0.849.
link(53,50) :- #0.444.
link(50,94) :- #0.397.
link(94,50) :- #0.119.
link(50,104) :- #0.779.
link(104,50) :- #0.345.
link(50,117) :- #0.099.
link(117,50) :- #0.693.
link(50,134) :- #0.751.
link(134,50) :- #0.573.
link(50,144) :- #0.216.
link(144,50) :- #0.761.
link(51,53) :- #0.51.
link(53,51) :- #0.892.
link(51,56) :- #0.216.
link(56,51) :- #0.463.
link(51,63) :- #0.09.
link(63,51) :- #0.644.
link(51,65) :- #0.601.
link(65,51) :- #0.669.
link(51,70) :- #0.864.
link(70,51) :- #0.993.
link(51,71) :- #0.998.
link(71,51) :- #0.605.
link(51,72) :- #0.348.
link(72,51) :- #0.068.
link(51,74) :- #0.292.
link(74,51) :- #0.488.
link(51,80) :- #0.714.
link(80,51) :- #0.262.
link(51,96) :- #0.123.
link(96,51) :- #0.551.
link(51,101) :- #0.883.
link(101,51) :- #0.681.
link(51,119) :- #0.125.
link(119,51) :- #0.306.
link(51,120) :- #0.802.
link(120,51) :- #0.905.
link(51,126) :- #0.778.
link(126,51) :- #0.962.
link(52,76) :- #0.856.
link(76,52) :- #0.966.
link(52,77) :- #0.617.
link(77,52) :- #0.444.
link(52,79) :- #0.63.
link(79,52) :- #0.038.
link(52,92) :- #0.116.
link(92,52) :- #0.018.
link(52,93) :- #0.239.
link(93,52) :- #0.003.
link(52,96) :- #0.269.
link(96,52) :- #0.167.
link(52,116) :- #0.249.
link(116,52) :- #0.664.
link(52,119) :- #0.891.
link(119,52) :- #0.644.
link(52,122) :- #0.803.
link(122,52) :- #0.044.
link(52,137) :- #0.812.
link(137,52) :- #0.681.
link(52,139) :- #0.529.
link(139,52) :- #0.461.
link(52,143) :- #0.56.
link(143,52) :- #0.548.
link(53,71) :- #0.494.
link(71,53) :- #0.026.
link(53,89) :- #0.969.
link(89,53) :- #0.572.
link(53,92) :- #0.932.
link(92,53) :- #0.837.
link(53,107) :- #0.564.
link(107,53) :- #0.325.
link(53,111) :- #0.27.
link(111,53) :- #0.738.
link(53,118) :- #0.047.
link(118,53) :- #0.918.
link(53,133) :- #0.969.
link(133,53) :- #0.485.
link(53,139) :- #0.784.
link(139,53) :- #0.932.
link(53,144) :- #0.306.
link(144,53) :- #0.78.
link(54,60) :- #0.804.
link(60,54) :- #0.674.
link(54,63) :- #0.251.
link(63,54) :- #0.031.
link(54,66) :- #0.438.
link(66,54) :- #0.725.
link(54,78) :- #0.453.
link(78,54) :- #0.977.
link(54,82) :- #0.597.
link(82,54) :- #0.573.
link(54,87) :- #0.527.
link(87,54) :- #0.214.
link(54,92) :- #0.773.
link(92,54) :- #0.926.
link(54,116) :- #0.97.
link(116,54) :- #0.38.
link(54,124) :- #0.791.
link(124,54) :- #0.688.
link(55,66) :- #0.154.
link(66,55) :- #0.45.
link(55,78) :- #0.97.
link(78,55) :- #0.787.
link(55,81) :- #0.847.
link(81,55) :- #0.539.
link(55,88) :- #0.731.
link(88,55) :- #0.045.
link(55,95) :- #0.228.
link(95,55) :- #0.573.
link(55,126) :- #0.602.
link(126,55) :- #0.981.
link(55,133) :- #0.479.
link(133,55) :- #0.315.
link(55,134) :- #0.396.
link(134,55) :- #0.11.
link(56,74) :- #0.96.
link(74,56) :- #0.976.
link(56,91) :- #0.857.
link(91,56) :- #0.728.
link(56,92) :- #0.079.
link(92,56) :- #0.08.
link(56,111) :- #0.004.
link(111,56) :- #0.791.
link(56,115) :- #0.007.
link(115,56) :- #0.403.
link(56,127) :- #0.465.
link(127,56) :- #0.931.
link(56,136) :- #0.947.
link(136,56) :- #0.808.
link(56,137) :- #0.421.
link(137,56) :- #0.599.
link(57,73) :- #0.105.
link(73,57) :- #0.137.
link(57,101) :- #0.956.
link(101,57) :- #0.21.
link(57,120) :- #0.659.
link(120,57) :- #0.207.
link(57,138) :- #0.234.
link(138,57) :- #0.98.
link(57,140) :- #0.795.
link(140,57) :- #0.421.
link(58,70) :- #0.423.
link(70,58) :- #0.002.
link(58,79) :- #0.312.
link(79,58) :- #0.756.
link(58,86) :- #0.714.
link(86,58) :- #0.413.
link(58,93) :- #0.016.
link(93,58) :- #0.486.
link(58,101) :- #0.447.
link(101,58) :- #0.083.
link(58,105) :- #0.163.
link(105,58) :- #0.221.
link(58,106) :- #0.731.
link(106,58) :- #0.764.
link(58,110) :- #0.039.
link(110,58) :- #0.737.
link(58,113) :- #0.227.
link(113,58) :- #0.728.
link(58,131) :- #0.446.
link(131,58) :- #0.
link(59,62) :- #0.863.
link(62,59) :- #0.581.
link(59,68) :- #0.563.
link(68,59) :- #0.239.
link(59,83) :- #0.222.
link(83,59) :- #0.439.
link(59,87) :- #0.619.
link(87,59) :- #0.417.
link(59,118) :- #0.566.
link(118,59) :- #0.441.
link(59,123) :- #0.769.
link(123,59) :- #0.874.
link(59,131) :- #0.834.
link(131,59) :- #0.632.
link(60,69) :- #0.075.
link(69,60) :- #0.933.
link(60,75) :- #0.303.
link(75,60) :- #0.204.
link(60,80) :- #0.81.
link(80,60) :- #0.221.
link(60,94) :- #0.737.
link(94,60) :- #0.934.
link(60,95) :- #0.124.
link(95,60) :- #0.062.
link(60,102) :- #0.935.
link(102,60) :- #0.062.
link(60,114) :- #0.51.
link(114,60) :- #0.469.
link(60,133) :- #0.471.
link(133,60) :- #0.752.
link(61,69) :- #0.153.
link(69,61) :- #0.695.
link(61,76) :- #0.521.
link(76,61) :- #0.546.
link(61,116) :- #0.998.
link(116,61) :- #0.441.
link(61,124) :- #0.828.
link(124,61) :- #0.617.
link(61,136) :- #0.95.
link(136,61) :- #0.432.
link(61,137) :- #0.928.
link(137,61) :- #0.244.
link(62,63) :- #0.654.
link(63,62) :- #0.115.
link(62,64) :- #0.378.
link(64,62) :- #0.382.
link(62,68) :- #0.585.
link(68,62) :- #0.463.
link(62,83) :- #0.264.
link(83,62) :- #0.842.
link(62,86) :- #0.997.
link(86,62) :- #0.866.
link(62,100) :- #0.208.
link(100,62) :- #0.729.
link(62,106) :- #0.663.
link(106,62) :- #0.544.
link(62,115) :- #0.234.
link(115,62) :- #0.246.
link(62,122) :- #0.096.
link(122,62) :- #0.019.
link(62,129) :- #0.566.
link(129,62) :- #0.612.
link(62,135) :- #0.434.
link(135,62) :- #0.586.
link(62,137) :- #0.949.
link(137,62) :- #0.958.
link(62,139) :- #0.662.
link(139,62) :- #0.204.
link(63,64) :- #0.653.
link(64,63) :- #0.19.
link(63,85) :- #0.029.
link(85,63) :- #0.449.
link(63,88) :- #0.604.
link(88,63) :- #0.582.
link(63,90) :- #0.237.
link(90,63) :- #0.429.
link(63,110) :- #0.234.
link(110,63) :- #0.515.
link(63,121) :- #0.029.
link(121,63) :- #0.574.
link(63,122) :- #0.69.
link(122,63) :- #0.339.
link(63,139) :- #0.803.
link(139,63) :- #0.768.
link(63,145) :- #0.105.
link(145,63) :- #0.765.
link(64,67) :- #0.72.
link(67,64) :- #0.224.
link(64,86) :- #0.109.
link(86,64) :- #0.708.
link(64,115) :- #0.669.
link(115,64) :- #0.015.
link(64,129) :- #0.683.
link(129,64) :- #0.079.
link(64,139) :- #0.587.
link(139,64) :- #0.191.
link(64,144) :- #0.612.
link(144,64) :- #0.886.
link(65,66) :- #0.742.
link(66,65) :- #0.734.
link(65,68) :- #0.18.
link(68,65) :- #0.105.
link(65,73) :- #0.091.
link(73,65) :- #0.044.
link(65,81) :- #0.498.
link(81,65) :- #0.568.
link(65,97) :- #0.139.
link(97,65) :- #0.64.
link(65,108) :- #0.854.
link(108,65) :- #0.244.
link(65,115) :- #0.275.
link(115,65) :- #0.153.
link(65,119) :- #0.388.
link(119,65) :- #0.674.
link(66,78) :- #0.635.
link(78,66) :- #0.361.
link(66,96) :- #0.828.
link(96,66) :- #0.166.
link(66,111) :- #0.551.
link(111,66) :- #0.953.
link(66,123) :- #0.204.
link(123,66) :- #0.032.
link(66,124) :- #0.614.
link(124,66) :- #0.237.
link(66,125) :- #0.849.
link(125,66) :- #0.619.
link(66,137) :- #0.834.
link(137,66) :- #0.198.
link(67,90) :- #0.173.
link(90,67) :- #0.69.
link(67,106) :- #0.051.
link(106,67) :- #0.986.
link(67,122) :- #0.119.
link(122,67) :- #0.699.
link(67,133) :- #0.295.
link(133,67) :- #0.218.
link(68,85) :- #0.811.
link(85,68) :- #0.521.
link(68,92) :- #0.534.
link(92,68) :- #0.695.
link(68,95) :- #0.053.
link(95,68) :- #0.75.
link(68,97) :- #0.168.
link(97,68) :- #0.514.
link(68,98) :- #0.353.
link(98,68) :- #0.97.
link(68,133) :- #0.487.
link(133,68) :- #0.871.
link(69,79) :- #0.406.
link(79,69) :- #0.807.
link(69,93) :- #0.413.
link(93,69) :- #0.404.
link(69,95) :- #0.011.
link(95,69) :- #0.342.
link(69,101) :- #0.584.
link(101,69) :- #0.98.
link(69,106) :- #0.705.
link(106,69) :- #0.013.
link(69,113) :- #0.55.
link(113,69) :- #0.789.
link(69,117) :- #0.797.
link(117,69) :- #0.828.
link(69,134) :- #0.784.
link(134,69) :- #0.201.
link(69,140) :- #0.352.
link(140,69) :- #0.778.
link(70,92) :- #0.656.
link(92,70) :- #0.53.
link(70,107) :- #0.372.
link(107,70) :- #0.519.
link(70,111) :- #0.56.
link(111,70) :- #0.916.
link(70,116) :- #0.061.
link(116,70) :- #0.51.
link(70,144) :- #0.32.
link(144,70) :- #0.392.
link(71,84) :- #0.525.
link(84,71) :- #0.058.
link(71,89) :- #0.659.
link(89,71) :- #0.814.
link(71,104) :- #0.547.
link(104,71) :- #0.673.
link(71,113) :- #0.363.
link(113,71) :- #0.952.
link(71,122) :- #0.457.
link(122,71) :- #0.17.
link(71,125) :- #0.177.
link(125,71) :- #0.315.
link(71,132) :- #0.472.
link(132,71) :- #0.528.
link(71,133) :- #0.237.
link(133,71) :- #0.425.
link(71,135) :- #0.977.
link(135,71) :- #0.294.
link(72,73) :- #0.806.
link(73,72) :- #0.477.
link(72,88) :- #0.723.
link(88,72) :- #0.391.
link(72,117) :- #0.336.
link(117,72) :- #0.843.
link(72,119) :- #0.101.
link(119,72) :- #0.692.
link(73,78) :- #0.887.
link(78,73) :- #0.411.
link(73,81) :- #0.032.
link(81,73) :- #0.448.
link(73,83) :- #0.881.
link(83,73) :- #0.66.
link(73,109) :- #0.307.
link(109,73) :- #0.919.
link(73,123) :- #0.263.
link(123,73) :- #0.767.
link(73,126) :- #0.783.
link(126,73) :- #0.173.
link(73,129) :- #0.669.
link(129,73) :- #0.397.
link(73,130) :- #0.885.
link(130,73) :- #0.314.
link(74,81) :- #0.039.
link(81,74) :- #0.771.
link(74,84) :- #0.625.
link(84,74) :- #0.164.
link(74,85) :- #0.724.
link(85,74) :- #0.615.
link(74,89) :- #0.374.
link(89,74) :- #0.192.
link(74,93) :- #0.014.
link(93,74) :- #0.881.
link(74,95) :- #0.153.
link(95,74) :- #0.792.
link(74,105) :- #0.804.
link(105,74) :- #0.152.
link(74,123) :- #0.127.
link(123,74) :- #0.778.
link(74,126) :- #0.977.
link(126,74) :- #0.144.
link(74,136) :- #0.506.
link(136,74) :- #0.395.
link(74,142) :- #0.806.
link(142,74) :- #0.265.
link(75,83) :- #0.36.
link(83,75) :- #0.504.
link(75,84) :- #0.036.
link(84,75) :- #0.939.
link(75,86) :- #0.182.
link(86,75) :- #0.874.
link(75,92) :- #0.339.
link(92,75) :- #0.033.
link(75,98) :- #0.924.
link(98,75) :- #0.208.
link(75,104) :- #0.89.
link(104,75) :- #0.921.
link(75,119) :- #0.772.
link(119,75) :- #0.459.
link(76,90) :- #0.115.
link(90,76) :- #0.151.
link(76,92) :- #0.185.
link(92,76) :- #0.924.
link(76,104) :- #0.229.
link(104,76) :- #0.593.
link(76,117) :- #0.583.
link(117,76) :- #0.094.
link(76,120) :- #0.352.
link(120,76) :- #0.023.
link(76,124) :- #0.048.
link(124,76) :- #0.431.
link(76,135) :- #0.51.
link(135,76) :- #0.164.
link(76,136) :- #0.331.
link(136,76) :- #0.374.
link(76,141) :- #0.105.
link(141,76) :- #0.888.
link(77,79) :- #0.158.
link(79,77) :- #0.433.
link(77,84) :- #0.957.
link(84,77) :- #0.016.
link(77,97) :- #0.153.
link(97,77) :- #0.202.
link(77,104) :- #0.26.
link(104,77) :- #0.57.
link(77,109) :- #0.762.
link(109,77) :- #0.296.
link(77,119) :- #0.981.
link(119,77) :- #0.381.
link(77,121) :- #0.243.
link(121,77) :- #0.374.
link(77,130) :- #0.971.
link(130,77) :- #0.318.
link(78,88) :- #0.521.
link(88,78) :- #0.526.
link(78,92) :- #0.149.
link(92,78) :- #0.58.
link(78,98) :- #0.259.
link(98,78) :- #0.118.
link(78,103) :- #0.484.
link(103,78) :- #0.12.
link(78,117) :- #0.831.
link(117,78) :- #0.781.
link(78,118) :- #0.488.
link(118,78) :- #0.498.
link(78,128) :- #0.539.
link(128,78) :- #0.195.
link(78,140) :- #0.585.
link(140,78) :- #0.829.
link(78,143) :- #0.824.
link(143,78) :- #0.072.
link(79,82) :- #0.158.
link(82,79) :- #0.793.
link(79,86) :- #0.829.
link(86,79) :- #0.559.
link(79,108) :- #0.447.
link(108,79) :- #0.402.
link(79,109) :- #0.306.
link(109,79) :- #0.905.
link(79,117) :- #0.473.
link(117,79) :- #0.717.
link(79,122) :- #0.883.
link(122,79) :- #0.725.
link(79,123) :- #0.236.
link(123,79) :- #0.575.
link(79,133) :- #0.311.
link(133,79) :- #0.613.
link(79,135) :- #0.854.
link(135,79) :- #0.313.
link(79,136) :- #0.839.
link(136,79) :- #0.924.
link(79,138) :- #0.657.
link(138,79) :- #0.337.
link(80,81) :- #0.86.
link(81,80) :- #0.752.
link(80,85) :- #0.519.
link(85,80) :- #0.2.
link(80,94) :- #0.688.
link(94,80) :- #0.866.
link(80,99) :- #0.573.
link(99,80) :- #0.614.
link(80,107) :- #0.725.
link(107,80) :- #0.489.
link(80,112) :- #0.639.
link(112,80) :- #0.099.
link(80,115) :- #0.529.
link(115,80) :- #0.404.
link(80,116) :- #0.914.
link(116,80) :- #0.719.
link(80,117) :- #0.74.
link(117,80) :- #0.125.
link(80,129) :- #0.242.
link(129,80) :- #0.767.
link(81,92) :- #0.555.
link(92,81) :- #0.702.
link(81,98) :- #0.388.
link(98,81) :- #0.212.
link(81,102) :- #0.227.
link(102,81) :- #0.471.
link(81,105) :- #0.355.
link(105,81) :- #0.019.
link(81,114) :- #0.841.
link(114,81) :- #0.549.
link(81,117) :- #0.896.
link(117,81) :- #0.019.
link(81,124) :- #0.631.
link(124,81) :- #0.626.
link(81,129) :- #0.766.
link(129,81) :- #0.063.
link(81,132) :- #0.145.
link(132,81) :- #0.328.
link(82,83) :- #0.138.
link(83,82) :- #0.82.
link(82,86) :- #0.342.
link(86,82) :- #0.794.
link(82,91) :- #0.286.
link(91,82) :- #0.493.
link(82,101) :- #0.812.
link(101,82) :- #0.757.
link(82,115) :- #0.65.
link(115,82) :- #0.971.
link(82,124) :- #0.979.
link(124,82) :- #0.193.
link(82,125) :- #0.612.
link(125,82) :- #0.865.
link(82,142) :- #0.845.
link(142,82) :- #0.936.
link(83,85) :- #0.348.
link(85,83) :- #0.475.
link(83,86) :- #0.119.
link(86,83) :- #0.766.
link(83,98) :- #0.703.
link(98,83) :- #0.959.
link(83,101) :- #0.918.
link(101,83) :- #0.416.
link(83,104) :- #0.762.
link(104,83) :- #0.792.
link(83,109) :- #0.586.
link(109,83) :- #0.372.
link(83,117) :- #0.088.
link(117,83) :- #0.49.
link(83,139) :- #0.845.
link(139,83) :- #0.996.
link(83,144) :- #0.294.
link(144,83) :- #0.63.
link(83,145) :- #0.911.
link(145,83) :- #0.349.
link(84,88) :- #0.685.
link(88,84) :- #0.261.
link(84,89) :- #0.599.
link(89,84) :- #0.657.
link(84,97) :- #0.212.
link(97,84) :- #0.181.
link(84,105) :- #0.512.
link(105,84) :- #0.881.
link(84,136) :- #0.511.
link(136,84) :- #0.482.
link(85,102) :- #0.483.
link(102,85) :- #0.646.
link(85,111) :- #0.607.
link(111,85) :- #0.668.
link(85,118) :- #0.481.
link(118,85) :- #0.384.
link(85,125) :- #0.136.
link(125,85) :- #0.252.
link(85,131) :- #0.462.
link(131,85) :- #0.958.
link(85,140) :- #0.195.
link(140,85) :- #0.477.
link(85,144) :- #0.597.
link(144,85) :- #0.218.
link(86,96) :- #0.841.
link(96,86) :- #0.025.
link(86,104) :- #0.989.
link(104,86) :- #0.624.
link(86,111) :- #0.69.
link(111,86) :- #0.603.
link(86,112) :- #0.328.
link(112,86) :- #0.363.
link(86,114) :- #0.242.
link(114,86) :- #0.187.
link(86,123) :- #0.888.
link(123,86) :- #0.056.
link(86,132) :- #0.43.
link(132,86) :- #0.595.
link(87,104) :- #0.147.
link(104,87) :- #0.386.
link(87,107) :- #0.557.
link(107,87) :- #0.773.
link(87,111) :- #0.96.
link(111,87) :- #0.348.
link(88,91) :- #0.104.
link(91,88) :- #0.724.
link(88,94) :- #0.43.
link(94,88) :- #0.906.
link(88,107) :- #0.792.
link(107,88) :- #0.727.
link(88,112) :- #0.048.
link(112,88) :- #0.909.
link(88,115) :- #0.709.
link(115,88) :- #0.618.
link(88,132) :- #0.588.
link(132,88) :- #0.985.
link(89,94) :- #0.865.
link(94,89) :- #0.042.
link(89,99) :- #0.214.
link(99,89) :- #0.986.
link(89,106) :- #0.297.
link(106,89) :- #0.176.
link(89,122) :- #0.827.
link(122,89) :- #0.366.
link(89,123) :- #0.099.
link(123,89) :- #0.61.
link(90,93) :- #0.547.
link(93,90) :- #0.653.
link(90,96) :- #0.728.
link(96,90) :- #0.195.
link(90,113) :- #0.142.
link(113,90) :- #0.23.
link(90,128) :- #0.562.
link(128,90) :- #0.541.
link(90,134) :- #0.86.
link(134,90) :- #0.624.
link(90,137) :- #0.344.
link(137,90) :- #0.753.
link(91,113) :- #0.706.
link(113,91) :- #0.203.
link(92,102) :- #0.458.
link(102,92) :- #0.314.
link(92,103) :- #0.205.
link(103,92) :- #0.807.
link(92,114) :- #0.455.
link(114,92) :- #0.091.
link(92,126) :- #0.811.
link(126,92) :- #0.67.
link(92,141) :- #0.141.
link(141,92) :- #0.104.
link(93,96) :- #0.71.
link(96,93) :- #0.866.
link(93,130) :- #0.573.
link(130,93) :- #0.379.
link(93,140) :- #0.931.
link(140,93) :- #0.057.
link(93,145) :- #0.354.
link(145,93) :- #0.273.
link(94,108) :- #0.69.
link(108,94) :- #0.175.
link(94,113) :- #0.556.
link(113,94) :- #0.548.
link(94,115) :- #0.242.
link(115,94) :- #0.649.
link(94,121) :- #0.971.
link(121,94) :- #0.099.
link(94,127) :- #0.396.
link(127,94) :- #0.47.
link(94,131) :- #0.239.
link(131,94) :- #0.058.
link(94,134) :- #0.188.
link(134,94) :- #0.666.
link(94,145) :- #0.882.
link(145,94) :- #0.469.
link(95,100) :- #0.019.
link(100,95) :- #0.178.
link(95,104) :- #0.652.
link(104,95) :- #0.321.
link(95,109) :- #0.255.
link(109,95) :- #0.785.
link(95,126) :- #0.629.
link(126,95) :- #0.465.
link(95,127) :- #0.797.
link(127,95) :- #0.875.
link(95,131) :- #0.622.
link(131,95) :- #0.278.
link(95,133) :- #0.163.
link(133,95) :- #0.039.
link(96,105) :- #0.079.
link(105,96) :- #0.453.
link(96,134) :- #0.133.
link(134,96) :- #0.593.
link(96,140) :- #0.432.
link(140,96) :- #0.51.
link(97,101) :- #0.096.
link(101,97) :- #0.009.
link(97,110) :- #0.721.
link(110,97) :- #0.555.
link(97,123) :- #0.654.
link(123,97) :- #0.699.
link(97,134) :- #0.207.
link(134,97) :- #0.127.
link(97,137) :- #0.439.
link(137,97) :- #0.564.
link(98,99) :- #0.129.
link(99,98) :- #0.133.
link(98,116) :- #0.069.
link(116,98) :- #0.909.
link(98,122) :- #0.872.
link(122,98) :- #0.596.
link(98,130) :- #0.709.
link(130,98) :- #0.951.
link(98,145) :- #0.775.
link(145,98) :- #0.249.
link(99,109) :- #0.464.
link(109,99) :- #0.577.
link(100,106) :- #0.84.
link(106,100) :- #0.638.
link(100,111) :- #0.036.
link(111,100) :- #0.924.
link(100,117) :- #0.644.
link(117,100) :- #0.872.
link(100,119) :- #0.434.
link(119,100) :- #0.785.
link(100,122) :- #0.105.
link(122,100) :- #0.27.
link(100,132) :- #0.583.
link(132,100) :- #0.703.
link(100,142) :- #0.028.
link(142,100) :- #0.999.
link(102,103) :- #0.044.
link(103,102) :- #0.916.
link(102,104) :- #0.994.
link(104,102) :- #0.094.
link(102,123) :- #0.761.
link(123,102) :- #0.029.
link(102,124) :- #0.488.
link(124,102) :- #0.729.
link(102,130) :- #0.196.
link(130,102) :- #0.322.
link(103,123) :- #0.693.
link(123,103) :- #0.975.
link(103,128) :- #0.967.
link(128,103) :- #0.243.
link(104,115) :- #0.203.
link(115,104) :- #0.78.
link(104,117) :- #0.355.
link(117,104) :- #0.432.
link(104,125) :- #0.552.
link(125,104) :- #0.316.
link(104,141) :- #0.809.
link(141,104) :- #0.323.
link(105,132) :- #0.834.
link(132,105) :- #0.901.
link(105,141) :- #0.014.
link(141,105) :- #0.135.
link(106,139) :- #0.327.
link(139,106) :- #0.25.
link(106,145) :- #0.519.
link(145,106) :- #0.065.
link(107,122) :- #0.597.
link(122,107) :- #0.104.
link(107,124) :- #0.457.
link(124,107) :- #0.558.
link(107,144) :- #0.744.
link(144,107) :- #0.179.
link(107,145) :- #0.273.
link(145,107) :- #0.172.
link(108,112) :- #0.432.
link(112,108) :- #0.688.
link(108,130) :- #0.602.
link(130,108) :- #0.431.
link(108,137) :- #0.221.
link(137,108) :- #0.294.
link(108,141) :- #0.671.
link(141,108) :- #0.789.
link(109,110) :- #0.071.
link(110,109) :- #0.573.
link(110,117) :- #0.72.
link(117,110) :- #0.062.
link(110,132) :- #0.132.
link(132,110) :- #0.864.
link(111,117) :- #0.509.
link(117,111) :- #0.21.
link(111,142) :- #0.274.
link(142,111) :- #0.543.
link(112,118) :- #0.862.
link(118,112) :- #0.58.
link(112,121) :- #0.734.
link(121,112) :- #0.344.
link(112,128) :- #0.273.
link(128,112) :- #0.789.
link(112,135) :- #0.762.
link(135,112) :- #0.633.
link(112,136) :- #0.629.
link(136,112) :- #0.502.
link(112,142) :- #0.798.
link(142,112) :- #0.593.
link(113,115) :- #0.509.
link(115,113) :- #0.825.
link(113,137) :- #0.13.
link(137,113) :- #0.021.
link(113,143) :- #0.782.
link(143,113) :- #0.894.
link(113,144) :- #0.963.
link(144,113) :- #0.774.
link(114,118) :- #0.313.
link(118,114) :- #0.128.
link(114,121) :- #0.614.
link(121,114) :- #0.488.
link(114,130) :- #0.824.
link(130,114) :- #0.323.
link(114,135) :- #0.112.
link(135,114) :- #0.864.
link(114,143) :- #0.729.
link(143,114) :- #0.176.
link(115,121) :- #0.652.
link(121,115) :- #0.705.
link(115,129) :- #0.321.
link(129,115) :- #0.59.
link(115,136) :- #0.352.
link(136,115) :- #0.017.
link(115,138) :- #0.764.
link(138,115) :- #0.339.
link(116,126) :- #0.049.
link(126,116) :- #0.361.
link(116,130) :- #0.214.
link(130,116) :- #0.737.
link(117,123) :- #0.743.
link(123,117) :- #0.422.
link(117,137) :- #0.035.
link(137,117) :- #0.418.
link(117,139) :- #0.004.
link(139,117) :- #0.413.
link(117,142) :- #0.79.
link(142,117) :- #0.157.
link(117,145) :- #0.572.
link(145,117) :- #0.721.
link(118,126) :- #0.862.
link(126,118) :- #0.816.
link(119,133) :- #0.359.
link(133,119) :- #0.542.
link(119,134) :- #0.302.
link(134,119) :- #0.701.
link(119,139) :- #0.788.
link(139,119) :- #0.486.
link(119,142) :- #0.692.
link(142,119) :- #0.042.
link(120,125) :- #0.238.
link(125,120) :- #0.254.
link(120,128) :- #0.451.
link(128,120) :- #0.599.
link(120,142) :- #0.2.
link(142,120) :- #0.735.
link(121,122) :- #0.359.
link(122,121) :- #0.881.
link(121,123) :- #0.665.
link(123,121) :- #0.908.
link(121,134) :- #0.061.
link(134,121) :- #0.606.
link(121,135) :- #0.188.
link(135,121) :- #0.979.
link(121,137) :- #0.586.
link(137,121) :- #0.475.
link(122,125) :- #0.843.
link(125,122) :- #0.363.
link(122,126) :- #0.331.
link(126,122) :- #0.286.
link(122,135) :- #0.954.
link(135,122) :- #0.828.
link(122,139) :- #0.556.
link(139,122) :- #0.786.
link(123,128) :- #0.509.
link(128,123) :- #0.88.
link(123,129) :- #0.988.
link(129,123) :- #0.523.
link(123,135) :- #0.8.
link(135,123) :- #0.762.
link(124,142) :- #0.084.
link(142,124) :- #0.373.
link(125,134) :- #0.215.
link(134,125) :- #0.357.
link(125,145) :- #0.485.
link(145,125) :- #0.368.
link(126,128) :- #0.523.
link(128,126) :- #0.258.
link(126,139) :- #0.168.
link(139,126) :- #0.203.
link(127,135) :- #0.415.
link(135,127) :- #0.973.
link(127,141) :- #0.201.
link(141,127) :- #0.105.
link(128,134) :- #0.787.
link(134,128) :- #0.133.
link(128,141) :- #0.223.
link(141,128) :- #0.249.
link(130,141) :- #0.964.
link(141,130) :- #0.855.
link(130,144) :- #0.195.
link(144,130) :- #0.995.
link(130,145) :- #0.238.
link(145,130) :- #0.573.
link(132,134) :- #0.321.
link(134,132) :- #0.969.
link(132,137) :- #0.013.
link(137,132) :- #0.413.
link(132,145) :- #0.683.
link(145,132) :- #0.483.
link(133,136) :- #0.214.
link(136,133) :- #0.088.
link(133,140) :- #0.155.
link(140,133) :- #0.355.
link(136,138) :- #0.3.
link(138,136) :- #0.606.
link(136,142) :- #0.855.
link(142,136) :- #0.797.
link(138,139) :- #0.127.
link(139,138) :- #0.273.
link(142,143) :- #0.228.
link(143,142) :- #0.148.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
